Model checkers - PDFSEARCH.IO - Document Search Engine

Model checkers
Results: 102

#	Item
41	Int J Softw Tools Technol Transfer[removed]:507–518 DOI[removed]s10009[removed]RERS BDD-based software verification Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-02-12 10:11:50 Diagrams Formal methods Boolean algebra Binary decision diagram Model checking Model checkers NuSMV Satisfiability Modulo Theories Abstraction Mathematics Theoretical computer science Applied mathematics
42	Towards Domain-Specific Property Languages: The ProMoBox Approach Bart Meyers Manuel Wimmer Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2013-10-21 17:24:43 Science Model checkers Theoretical computer science Automata theory ISO standards Modeling language Domain-specific modeling Formal verification Promela Software engineering Unified Modeling Language Scientific modeling
43	Model Checking A Hands-On Introduction Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:07 NuSMV Software Logic in computer science Model checking Formal verification Model theory Temporal logic FO Theoretical computer science Model checkers Applied mathematics
44	Introduction LTL model checking CTL model checking Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-01 22:24:18 Formal methods Theoretical computer science Model checkers Logic in computer science Kripke structure PAT Binary decision diagram Turing Award Algorithm Model checking Mathematics Temporal logic
45	FM 2014 Program Book Welcome Message from the Organising Committee Welcome to FM2014! Welcome to Singapore! This is the nineteenth in a series of symposia organised by Formal Methods Europe, this is its first time in As Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2014-05-08 02:42:02 Applied mathematics Logic in computer science Model checkers Model checking Formal verification Uppaal Model Checker Verification COM Path Systems engineering Formal methods Science
46	Overview Model Checking Approaches Algorithmic Verification Comp4151 Lecture 11-A Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:09 Uppaal Model Checker Finite-state machine Ansgar Clock Christianity Middle Ages Automata theory Model checkers Model checking
47	Content Algorithmic Verification Comp4151 Lecture 1 Ansgar Fehnker Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:08 Logic in computer science Mathematics Model checkers Model checking Formal verification Electronic design automation Verification and validation Correctness Logic simulation Formal methods Theoretical computer science Applied mathematics
48	DOCTORAL CANDIDATE: Daniela Lepri DEGREE: Add to Reading List Source URL: www.mn.uio.no Language: English Model checking Academia Knowledge Logic Formal methods Temporal logic Mathematical logic Formal verification Rajeev Alur Formal sciences Model checkers Science
49	C:/1_ Research/Copy of My Thesis - Professor version/cuthesis_masters.dvi Add to Reading List Source URL: spectrum.library.concordia.ca Language: English - Date: 2011-10-17 08:17:28 Artificial intelligence Model checkers Ontology Information science Technical communication Model checking Markov chain PRISM model checker Web Ontology Language Semantic Web Information Computing
50	A Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation Kun Zhang Jonathan Sprinkle Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2014-10-10 07:33:46 Model checkers Automata theory Digital electronics Models of computation Formal methods Finite-state machine Promela Model checking Formal verification Electronic engineering Theoretical computer science Design